Design Ontology Supporting Model-Based Systems Engineering Formalisms

نویسندگان

چکیده

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers formalism architectures supporting model-based requirement elicitation, specification, design, development, testing, fielding, etc. However, modeling languages and techniques are heterogeneous, even within same enterprise system, which leads to difficulties data interoperability. The discrepancies among structures language syntaxes make information exchange models more difficult, resulting in considerable deviations when connecting flows across enterprise. Therefore, this article presents ontology based upon graphs , xmlns:xlink="http://www.w3.org/1999/xlink">objects xmlns:xlink="http://www.w3.org/1999/xlink">points xmlns:xlink="http://www.w3.org/1999/xlink">properties xmlns:xlink="http://www.w3.org/1999/xlink">roles xmlns:xlink="http://www.w3.org/1999/xlink">relationships with xmlns:xlink="http://www.w3.org/1999/xlink">extensions (GOPPRRE), providing metamodels that support various formalisms lifecycle stages. In particular, knowledge graph developed unified model representations further implement ontological integration on GOPPRRE throughout entire lifecycle. applicability is verified using quantitative qualitative approaches. Moreover, ontologies used create a domain-specific tool, xmlns:xlink="http://www.w3.org/1999/xlink">MetaGraph evaluating its availability. results demonstrate proposed supports formal descriptive logic

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Requirements for High Level Models Supporting Design Space Exploration in Model-based Systems Engineering

Most formal models are used in detailed design and focus on a single domain. Few effective approaches exist that can effectively tie these lower level models to a high level system model during design space exploration. This complicates the validation of high level system requirements during detailed design. In this paper, we define requirements for a high level model that is firstly driven by ...

متن کامل

Formalisms for Negotiation in Engineering Design

Engineering projects often undergo several design iterations before being completed. Information received from other groups working on a project (analysis, manufacturing, marketing, sales) will often necessitate changes in a design. The interaction between different groups associated with a design project often takes the form of informal “negotiation.” This form of interaction commonly arises w...

متن کامل

Supporting aspect-oriented component-based systems engineering

Current approaches to component-based systems development do not adequately capture high-level knowledge about component provided and required services for use during design, implementation and runtime deployment. We describe a new approach to engineering such systems that characterises components by the various "aspects" of the overall system each component provides to or requires from end use...

متن کامل

Requirements Engineering Model in Designing Complex Systems

This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...

متن کامل

Requirements Engineering Model in Designing Complex Systems

This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Systems Journal

سال: 2022

ISSN: ['1932-8184', '1937-9234', '2373-7816']

DOI: https://doi.org/10.1109/jsyst.2021.3106195